Rational Hausdorff Divisors: a New approach to the Approximate Parametrization of Curves

In this paper we introduce the notion of rational Hausdorff divisor, we analyze the dimension and irreducibility of its associated linear system of curves, and we prove that all irreducible real curves belonging to the linear system are rational and are at finite Hausdorff distance among them. As a consequence, we provide a projective linear subspace where all (irreducible) elements are solutions to the approximate parametrization problem for a given algebraic plane curve. Furthermore, we identify the linear system with a plane curve that is shown to be rational and we develop algorithms to parametrize it analyzing its fields of parametrization. Therefore, we present a generic answer to the approximate parametrization problem. In addition, we introduce the notion of Hausdorff curve, and we prove that every irreducible Hausdorff curve can always be parametrized with a generic rational parametrization having coefficients depending on as many parameters as the degree of the input curve

The Relation Between Offset and Conchoid Constructions

The one-sided offset surface Fd of a given surface F is, roughly speaking, obtained by shifting the tangent planes of F in direction of its oriented normal vector. The conchoid surface Gd of a given surface G is roughly speaking obtained by increasing the distance of G to a fixed reference point O by d. Whereas the offset operation is well known and implemented in most CAD-software systems, the conchoid operation is less known, although already mentioned by the ancient Greeks, and recently studied by some authors. These two operations are algebraic and create new objects from given input objects. There is a surprisingly simple relation between the offset and the conchoid operation. As derived there exists a rational bijective quadratic map which transforms a given surface F and its offset surfaces Fd to a surface G and its conchoidal surface Gd, and vice versa. Geometric properties of this map are studied and illustrated at hand of some complete examples. Furthermore rational universal parameterizations for offsets and conchoid surfaces are provided

Grobner Basis Computation of Drazin Inverses with Multivariate Rational Function Entries

In this paper we show how to apply Grobner bases to compute the Drazin inverse of a matrix with multivariate rational functions as entries. When the coeficients of the rational functions depend on parameters, we give suficient conditions for the Drazin inverse to specialize properly. In addition, we extend the method to weighted Drazin inverses. We present an empirical analysis that shows a good timing performance of the method

Computation of Moore-Penrose generalized inverses of matrices with meromorphic function entries

J.R. Sendra is member of the Research Group ASYNACS (Ref.CT-CE2019/683)In this paper, given a field with an involutory automorphism, we introduce the notion of Moore-Penrose field by requiring that all matrices over the field have Moore-Penrose inverse. We prove that only characteristic zero fields can be Moore-Penrose, and that the field of rational functions over a Moore-Penrose field is also Moore-Penrose. In addition, for a matrix with rational functions entries with coefficients in a field K, we find sufficient conditions for the elements in K to ensure that the specialization of the Moore-Penrose inverse is the Moore-Penrose inverse of the specialization of the matrix. As a consequence, we provide a symbolic algorithm that, given a matrix whose entries are rational expression over C of finitely many meromeorphic functions being invariant by the involutory automorphism, computes its Moore-Penrose inverve by replacing the functions by new variables, and hence reducing the problem to the case of matrices with complex rational function entries.Ministerio de Economía y CompetitividadEuropean Regional Development Fun

An algorithm to parametrize approximately space curves

This is the author’s\ud version of a work that was accepted for publication in\ud Journal of Symbolic Computation. Changes resulting from the publishing\ud process, such as peer review, editing, corrections,\ud structural formatting, and other quality control mechanisms may not be\ud reflected in this document.\ud Changes may have been made to this work since it was submitted for\ud publication.\ud A definitive version was subsequently published in Journal of Symbolic\ud Computation vol. 56 pp. 80-106 (2013).\ud DOI: 10.1016/j.jsc.2013.04.002We present an algorithm that, given a non-rational irreducible\ud real space curve, satisfying certain conditions, computes a rational\ud parametrization of a space curve near the input one. For a given\ud tolerance \epsilon > 0, the algorithm checks whether a planar projection\ud of the given space curve is \epsilon -rational and, in the affirmative\ud case, generates a planar parametrization that is lifted to a space\ud parametrization. This output rational space curve is of the same\ud degree as the input curve, both have the same structure at infinity,\ud and the Hausdorff distance between their real parts is finite.\ud Moreover, in the examples we check that the distance is small.This work has been developed, and partially supported, by the Spanish “Ministerio de Ciencia e\ud Innovación” under the Project MTM2008-04699-C03-01, and by the “Ministerio de Economía y Competitividad”\ud under the project MTM2011-25816-C02-01. All authors belong to the Research Group\ud ASYNACS (Ref. CCEE2011/R34)

Bounding and Estimating the Hausdorff distance between real space algebraic curves

This is the author’s version of a work that was accepted for publication in Computational and Applied Mathematics. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be reflected in this document. Changes may have been made to this work since it was submitted for publication. A definitive version was subsequently published in Rueda S.L., Sendra J., Sendra J.R., (2014). "Bounding and Estimating the Hausdorff distance\ud between real space algebraic curves ". Computer Aided Geometric Design. vol 31 (2014)\ud 182-198; DOI 10.1016/j.cagd.2014.02.005In this paper, given two real space algebraic curves, not necessarily bounded,\ud whose Hausdor distance is nite, we provide bounds of their distance. These\ud bounds are related to the distance between the projections of the space curves onto\ud a plane (say, z = 0), and the distance between the z-coordinates of points in the\ud original curves. Using these bounds we provide an estimation method for a bound\ud of the Hausdor distance between two such curves and we check in applications that\ud the method is accurate and fas

Cissoid constructions of augmented rational ruled surfaces

J.R. Sendra is member of the Research Group ASYNACS (Ref.CT-CE2019/683)Given two real affine rational surfaces we derive a criterion for deciding the rationality of their cissoid. Furthermore, when one of the surfaces is augmented ruled and the other is either an augmented ruled or an augmented Steiner surface, we prove that the cissoid is rational. Furthermore, given rational parametrizations of the surfaces, we provide a rational parametrization of the cissoid.Ministerio de Economía y CompetitividadEuropean Regional Development Fun